formal file identifier

[计]形式文件标识符